Detecting Determinacy in Prolog Programs: 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006. Proceedings

In program development it is useful to know that a call to a Prolog program will not inadvertently leave a choice-point on the stack. Determinacy inference has been proposed for solving this problem yet the analysis was found to be wanting in that it could not infer determinacy conditions for programs that contained cuts or applied certain tests to select a clause. This paper shows how to remedy these serious deficiencies. It also addresses the problem of identifying those predicates which can be rewritten in a more deterministic fashion. To this end, a radically new form of determinacy inference is introduced, which is founded on ideas in ccp, that is capable of reasoning about the way bindings imposed by a rightmost goal can make a leftmost goal deterministic

Hadron beam test of a scintillating fibre tracker system for elastic scattering and luminosity measurement in ATLAS

A scintillating fibre tracker is proposed to measure elastic proton scattering at very small angles in the ATLAS experiment at CERN. The tracker will be located in so-called Roman Pot units at a distance of 240 m on each side of the ATLAS interaction point. An initial validation of the design choices was achieved in a beam test at DESY in a relatively low energy electron beam and using slow off-the-shelf electronics. Here we report on the results from a second beam test experiment carried out at CERN, where new detector prototypes were tested in a high energy hadron beam, using the first version of the custom designed front-end electronics. The results show an adequate tracking performance under conditions which are similar to the situation at the LHC. In addition, the alignment method using so-called overlap detectors was studied and shown to have the expected precision.Comment: 12 pages, 8 figures. Submitted to Journal of Instrumentation (JINST

The acquisition of Sign Language: The impact of phonetic complexity on phonology

Research into the effect of phonetic complexity on phonological acquisition has a long history in spoken languages. This paper considers the effect of phonetics on phonological development in a signed language. We report on an experiment in which nonword-repetition methodology was adapted so as to examine in a systematic way how phonetic complexity in two phonological parameters of signed languages — handshape and movement — affects the perception and articulation of signs. Ninety-one Deaf children aged 3–11 acquiring British Sign Language (BSL) and 46 hearing nonsigners aged 6–11 repeated a set of 40 nonsense signs. For Deaf children, repetition accuracy improved with age, correlated with wider BSL abilities, and was lowest for signs that were phonetically complex. Repetition accuracy was correlated with fine motor skills for the youngest children. Despite their lower repetition accuracy, the hearing group were similarly affected by phonetic complexity, suggesting that common visual and motoric factors are at play when processing linguistic information in the visuo-gestural modality

Final tests of the CsI-based ring imaging detector for the ALICE experiment

We report on the final tests performed on a CsI-based RICH detector equipped with 2 C$_6$F$_{14}$ radiator trays and 4 photocathodes, each of 64$\times$38 cm$^2$ area. The overall performance of the detector is described, using different gas mixtures, in view of optimizing the photoelectron yield and the pad occupancy. Test results under magnetic field up to 0.9 T, photocathode homogeneity and stability are presented

Development of a detector (ALFA) to measure the absolute LHC luminosity at ATLAS

The ATLAS collaboration plans to determine the absolute luminosity of the CERN LHC at Interaction Point 1 by measuring the trajectory of protons elastically scattered at very small angles ($\mu rad$). A scintillating fibre tracker system called ALFA (Absolute Luminosity For ATLAS) is proposed for this measurement. Detector modules will be placed above and below the LHC beam axis in roman pot units at a distance of 240 m on each side of the ATLAS interaction point. They allow the detectors to approach the beam axis to millimeter distance. Overlap detectors also based on the scintillating fibre technology, will measure the precise relative position of the two detector modules. Results obtained during beam tests at DESY and at CERN validate the detectors design and demonstrate the achievable resolution. We also report about radiation hardness studies of the scintillating fibres to estimate the lifetime of the ALFA system at different operating conditions of the LHC

Standalone vertex finding in the ATLAS muon spectrometer

A dedicated reconstruction algorithm to find decay vertices in the ATLAS muon spectrometer is presented. The algorithm searches the region just upstream of or inside the muon spectrometer volume for multi-particle vertices that originate from the decay of particles with long decay paths. The performance of the algorithm is evaluated using both a sample of simulated Higgs boson events, in which the Higgs boson decays to long-lived neutral particles that in turn decay to bbar b final states, and pp collision data at √s = 7 TeV collected with the ATLAS detector at the LHC during 2011

Measurements of Higgs boson production and couplings in diboson final states with the ATLAS detector at the LHC

Measurements are presented of production properties and couplings of the recently discovered Higgs boson using the decays into boson pairs, H →γ γ, H → Z Z∗ →4l and H →W W∗ →lνlν. The results are based on the complete pp collision data sample recorded by the ATLAS experiment at the CERN Large Hadron Collider at centre-of-mass energies of √s = 7 TeV and √s = 8 TeV, corresponding to an integrated luminosity of about 25 fb−1. Evidence for Higgs boson production through vector-boson fusion is reported. Results of combined fits probing Higgs boson couplings to fermions and bosons, as well as anomalous contributions to loop-induced production and decay modes, are presented. All measurements are consistent with expectations for the Standard Model Higgs boson

Measurement of the top quark pair cross section with ATLAS in pp collisions at √s=7 TeV using final states with an electron or a muon and a hadronically decaying τ lepton

A measurement of the cross section of top quark pair production in proton-proton collisions recorded with the ATLAS detector at the Large Hadron Collider at a centre-of-mass energy of 7 TeV is reported. The data sample used corresponds to an integrated luminosity of 2.05 fb -1. Events with an isolated electron or muon and a τ lepton decaying hadronically are used. In addition, a large missing transverse momentum and two or more energetic jets are required. At least one of the jets must be identified as originating from a b quark. The measured cross section, σtt-=186±13(stat.)±20(syst.)±7(lumi.) pb, is in good agreement with the Standard Model prediction